Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
201	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
202	MARBEN LTE/UMTS Editor THE INTUITIVE RADIO ACCESS NETWORK MESSAGES EDITOR The best at your service SPEEDS UP YOUR INTEGRATION AND VALIDATION PROCESSES WITH THE LEADING EDITOR FOR LTE RRC, S1AP, X2AP AND UMTS RRC, NBAP, R Add to Reading List Source URL: www.marben-products.com Language: English - Date: 2014-04-15 10:26:55 Mobile technology Videotelephony Abstract Syntax Notation One Software-defined radio 3GPP Long Term Evolution 3GPP User equipment 3G Femtocell Universal Mobile Telecommunications System Technology Electronic engineering
203	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:46:30 Formal languages Software design patterns Pattern matching Abstract syntax tree Tree traversal Tree B-tree Visitor pattern Node Computing Computer programming Graph theory
204	MARBEN ASN.1 Value Editor FAST AND USER FRIENDLY ASN.1 VISUAL TOOL Illuminate your ASN.1 data THE ASN.1 VALUE EDITOR SPEEDS UP YOUR DEBUGGING, INTEGRATION AND VALIDATION PROCESSES INCLUDING Add to Reading List Source URL: www.marben-products.com Language: English - Date: 2013-11-29 08:28:12 Information XML Encoding Rules X.690 XML Comma-separated values Basic Encoding Rules Encoding Control Notation Computing Notation Abstract Syntax Notation One
205	MeCC: Memory Comparison-based Clone Detector∗ Heejung Kim† , Yungbum Jung† , Sunghun Kim§ , Kwangkeun Yi† † Seoul National University, Seoul, Korea {hjkim,dreameye,kwang}@ropas.snu.ac.kr Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:59 Cross-platform software Data types Plagiarism Plagiarism detection C Type system Memory Abstract syntax tree Semantics Computing Software engineering Software
206	MARBEN ASNSDK TCE HIGH LEVEL PERFORMANCES ASN.1 TOOLS FOR C, C++ AND JAVA Master the power of ASN.1 MARBEN ASNSDK SPEEDS UP THE DEVELOPMENT OF YOUR ASN.1 BASED APPLICATIONS REQUIRING PER, BER, DER AND XER ENCODING/DECODI Add to Reading List Source URL: www.marben-products.com Language: English - Date: 2013-11-29 08:28:12 XML Encoding Rules X.690 XML Java C Sharp Basic Encoding Rules Fast Infoset Computing Abstract Syntax Notation One Cross-platform software
207	MARBEN CDR CONVERTER CONVERT ANY ASN.1 CDR FILE INTO XML OR CSV FORMAT Comprehensive ASN.1 CDR data THE MARBEN CDR CONVERTER EASILY CONVERTS ANY ASN.1 BER ENCODED FILE TO A TEXT FORMAT. Add to Reading List Source URL: www.marben-products.com Language: English - Date: 2013-11-29 08:28:12 Abstract Syntax Notation One Basic Encoding Rules XML X.690 Comma-separated values Fast Infoset Telecommunication transaction processing systems Computing OSI protocols Notation
208	. Best Practices Steve McConnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:34 C Cross-platform software Abstract data type Abstraction Eiffel MUMPS syntax Software engineering Computing Computer programming
209	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science

UPDATE